https://shkola.obozrevatel.com/books/10klass/geometrija/ershova-20181/2--najprostishi-naslidki-z-aksiom-stereometrii/
§ 2. Найпростіші наслідки з аксіом стереометрії